From: emellor@ewan <emellor@ewan>
Date: Sat, 17 Sep 2005 12:59:35 +0000 (+0100)
Subject: Issue warning if doxygen is not installed.
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~16780^2~47^2~16
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=3f5123b9de664395cd4ab526100e77129d2fbf4f;p=xen.git

Issue warning if doxygen is not installed.

Signed-off-by: Ewan Mellor<ewan@xensource.com>
---

diff --git a/docs/Makefile b/docs/Makefile
index 188d69240a..12e35219e4 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -36,11 +36,12 @@ html:
 	$(MAKE) $(DOC_HTML); fi
 
 python-dev-docs:
-	mkdir -p api/tools/python
+	@mkdir -v -p api/tools/python
 	@if which $(DOXYGEN) 1>/dev/null 2>/dev/null; then         \
         echo "Running doxygen to generate Python tools APIs ... "; \
 	$(DOXYGEN) Doxyfile;                                       \
-	$(MAKE) -C api/tools/python/latex ; fi
+	$(MAKE) -C api/tools/python/latex ; else                   \
+        echo "Doxygen not installed; skipping python-dev-docs."; fi
 
 clean:
 	rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~